منابع مشابه
Position Paper: Bayesian Reasoning for Software Testing
Despite significant advances in software testing research, the ability to produce reliable software products for a variety of critical applications remains an open problem. The key challenge has been the fact that each program or software product is unique, and existing methods are predominantly not capable of adapting to the observations made during program analysis. This paper makes the follo...
متن کاملTesting Bayesian Networks
This work initiates a systematic investigation of testing high-dimensional structured distributions by focusing on testing Bayesian networks – the prototypical family of directed graphical models. A Bayesian network is defined by a directed acyclic graph, where we associate a random variable with each node. The value at any particular node is conditionally independent of all the other nondescen...
متن کاملBayesian Networks in Educational Testing
In this paper we discuss applications of Bayesian networks to educational testing. Namely, we deal with the diagnosis of person’s skills. We show that when modeling dependence between skills we can get faster a better diagnosis. We also show that there exist test setups for which it is impossible to get a complete and correct diagnosis unless we model dependence between skills. We present resul...
متن کاملBayesian-network Connrmation of Software Testing Uncertainties
In this paper, we claim that software development will do well by explicit modeling of its uncertainties using existing uncertainty modeling techniques. This is accomplished initially by stating the Maxim of Uncertainty in Software Engineering (MUSE), followed by a detailed presentation of uncertainty in software testing. We then propose that a speciic technique, known as Bayesian Belief Networ...
متن کاملBayesian Testing Strategies for Software with an Operational Profile
We consider a software reliability model where the failure rate of each fault depends on the specific operation performed. The software is tested in a given sequence of test cases for fixed durations of time to collect data on failure times. We present a Bayesian analysis of software failure data by treating the initial number of faults as a random variable. Our analysis relies on the Markov Ch...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The International FLAIRS Conference Proceedings
سال: 2021
ISSN: 2334-0762
DOI: 10.32473/flairs.v34i1.128513